Ajout d'une nouvelle déduction