Title: De la définition à la traduction des langages de programmation