Combien de temps pour stériliser les bocaux d'haricots verts ?