Logique, réduction, résolution — René Lalement