23.07. Petits pois