Pacheco Soto vs Mira : bilan 3-4, confrontations et historique