(mixage de pointeurs) Mécanisme de conversion des références inter-objets (implémentées par des OID) en pointeurs mémoire.

« Retour à l'index du dictionnaire