Opération consistant à définir de nouveaux types d'objets et les opérations qui leur sont associées à l'aide de primitives appartenant au langage de programmation que l'on veut étendre.