7-3 = 2 ! (La Recherche, 2004)