nom propre→ masculin→. [langage]. Version « légère » de Caml, essentiellement destinée à l'enseignement, mais qui n'est plus développée.