Blaise Pascal et la "querelle du vide", par Etienne Klein