Langlands Correspondence and Constructive Galois Theory