Merci beaucoup pour vos intéressantes interventions.

Du coup les auteurs, Jean-Pierre Archambault et Gilles Dowek, ont choisi de commenter vos commentaires dans un nouveau billet :