Nous examinons ici quelques constructions Ocaml qui illustrent des traits sophistiqués du typage des objets.
