O músculo mais eficaz como depressor do olho, quando abduzido a 23° em relação à linha média, é o