Modèles et langages formels pour le point de vue de traitement ODP — Arnaud Février