Miguel Ramos Bertolín de militar