Added some new shortcut

The goal is to uniformize via shortcuts notations throughout the notes.
We will then discuss which notation is the best.
Enhanced the exposition of some point

(and fixed some mistakes found by Benjamin)
Changed \sset to \sSet
Undergoing a total change (it will take some time, though)