Section I.Logique et Structures