ملف
Chap4
متطلبات الإكمال
Chapitre 4 sur la Logique des prédicats