Pais De Lacerda, Antonio, Universidad de Salamanca, España