Ernesto Arias Gutierrez

August 28, 1934  -  December 23, 2022