Ok, je comprends ce que tu veux dire. Mais ne peut-on pas considérer que le raccourci consistant à considérer déclaration == expression facilite la closure du MP (et par conséquent l'encourage, même si ce n'est pas sa finalité) ? Ceci dit, ton approche est sans aucun doute beaucoup plus valide dans le contexte historique mon approche initiale…