The extra-ocular muscles