Ajout de tests pour l'addition