CONCEPTION DE SYSTEMES LOGIQUES