Keratotomi, (gr. kerato- + -tomi), hornhindesnit.