¿Cómo se denominaba a la tesis de menor importancia al doctorado, usada hasta hace unos años para conseguir la licenciatura?