Stav dette: Introduction to the Galois correspondance