Dans le cas présenté, la question est résolue dans la logique de langage suivante :