minor correction after merge

27 jobs for feature-c/3288_boucle_recursive in 34 minutes and 38 seconds (queued for 6 seconds)