CTAN update: ProfLycee