Logiques Non Classiques pour le département Informatique