Tsebo educos vision login payroll app. First-order propositional logic in AI. Extension Clank dans lespace. Directeur Athénée Hannut.