Video viewing statistics for De la logique avant toute chose : du programme de hilbert à la naissance de la science informatique - xavier leroy