So this explains why the Interrupt is still working even if I set INTCON.7 = 0 ;-)

The DS of my PIC says:
GIE: Global Interrupt Enable bit (bit 7)
1 = Enables all unmasked interrupts
0 = Disables all interrupts

Nevertheless, voici what is stated in (page 118 of) the 2008 PBP manual:
-" To turn off interrupts permanently (or until needed again) once ON INTERRUPT has been used, set INTCON to $80: INTCON = $80 "-

To me, setting INTCON = $80 is like %10000000 meaning the interrupts are switched ON.

Am I mixing things or is there somewhere an error?