Allez pour honorer la deuxième QoTD de ce blog, une remarque que je trouve marrant de un-brice (« kestumraconte ») :

<Lena_ocamlwarrior> un-brice : dommage que le lamda calcul donne de meilleures garanties de compilations que les machines du Turing sinon t'aurais presque été crédible
<un-brice> Lena_ocamlwarrior: garantie de calculs ? mais kestumraconte ?