Adding definition that will be taken as granted later.

* quadratic residue and legendre's symbol definition
* small corrections, and precisations.
Maybe it would be cool to add something like "that that and that are omitted, so
please read a little about cryptography before reading this"
Algorithms for William's p+1 \o/
Small random corrections.
Again on "random corrections" over the book.