El Shafei vs Laver : bilan 4-6, confrontations et historique