Machado, Antonio; Arenas Martínez, Franc