Simplify a small exo

2 jobs for master in 42 seconds (queued for 20 seconds)