/semestre 3/logique et notions formelles/td/