asserprecondition ajouté