We define the notion of a
Galois extension of a differential field; we work with differential algebras which are
more easy than differential fields. This definition is geometric and does not use Weil’s
theorem found in Kolchin & Lang. We give the construction of the Picard-Vessiot
extension associated to a differential equation; this construction is similar to the
notion of a G-structure due to Bernard.