Contribution à la modélisation explicite des plates-formes d'exécution pour l'IDM.