Compútase al señor Elías L. Devincenzi a los efectos jubilatorios los servicios prestados en el país.