[PDF] logique mathématique 2eme informatique