La sémantique récursive de Davidson et de Montague