Dans une cocotte-minute, l'eau bout vers 120 °C — Anecdota