Cuisson du chou-fleur à la cocotte-minute : temps exact et méthodes