**************************************************************************************************************************

COURS/TD Systèmes déductifs (2006-2007, semestre 3):