Bernard Ycart : retour sur l’histoire de la logique