Débuggage ! maintenant l'exhaustif marche très bien (à part que ça prend toujours la première solution...)