UE Utiliser des formalismes pour connaissances et raisonnements