Ifs, boucles et récursion

Déclarations if (en fait, expressions if)

OCaml a une déclaration if avec deux variations et une signification évidente :

if boolean-condition then expression
  
if boolean-condition then expression else other-expression

TODO