Gregorio José Ramírez, padre de la independencia de Costa Rica - Rojas Jiménez, Miguel 1952-