annotations cours I.3 (théorie du calcul ; 12 oct.)