[Tutti-commits] 06/09: suppression des vieux signes