Haricot pinto, une variété de haricot commun de l'espèce Phaseolus vulgaris