[Tutti-commits] 01/01: tri des double listes à l'ouverture du protocole