Digesto de instrucción primaria (Consejo General de Educación, 1937)