le passage ridicule d'aujourd'hui en Julia : implémenter un mini-PL de vérification formelle (simple !) en utilisant les types de Julia il peut même vérifier que 1+1=2 à partir des axiomes de Peano !