L'ordre dans IR - Cours 2 (MA) (part 2: ordre et opérations)