Nennt man die Verengung der Pupille.