Ajoute les assertions