"Miguel Bernal Jim\u00E9nez, comp. " . .