Putain j'avais un salamèche qui était dans le même délire ya longtemps mais depuis la correspondance de Curry-Howard ca a changé son isomorphisme dieu merci