Alonso Olea, Manuel