projet de sémantique et traduction des langages - DUVAL / PONS -