Baignade : faut-il vraiment attendre trois heures pour se jeter à l'eau après les repas ?