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

COURS/TD LOGIQUE (UE INF 462, 2009-2010, semestre 1):