Wiki du Gdt Logique/Extensions