Correction des arguments de run_synopsis + manuel