Depuis la 1re édition en 2009, France Boissons est partenaire du festival Beauregard. 100 000 litres de bière sont consommés ...

Dans les années 1930, Herbrand avait posé les conditions de validité d'une démonstration automatique. En 1953, Quine donnait une règle d'inférence originale ; définie pour l'ordre O, elle présentait ...