Longueur de la tangente externe de (5, 0) au cercle x^2 + y^2 = 4