Ajout des Asserters