2 avr. 2014 ... avec les trois règles de réduction correspondantes: JxQatu [> ...... exemple le
calcul non typé que le lecteur découvrira dans le livre de ...... (X -0 Y)OX ...... sons
la définition de l'exponentielle de la SMC à l'aide des types. 
