haricots pinto, séchés (1 heure de cuisson)