Porção petrosa da artéria carótida interna