Une mise au point sur l'utilisation de la logique, à partir des résultats et des méthodes d'exposition les plus récents.