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

COURS/TD LOGIQUE (UE IN7M12, 2013-2014, semestre 1):