Marc
          Pantel

     Traduction des langages
     Sémantique formelle