Définition d'une architecture de machine à domaines — Claude Kaiser, Didier Lanciaux, B. Martin