[Tutti-commits] 01/01: Quelques modifications et mises à jour sur les spécifications (See #7656)