travaux de répartition Synonym