"convexe lens"@nl . "3"^^ . . . . . . . .