6Bien que Caml soit un langage fonctionnel dans lequel formellement n’existent pas de procédure au sens strict du terme, nous avons gardé l’appellation de procédures pour des fonctions qui renvoient rien comme résultat par analogie avec d’autres langages comme Pascal