Source: http://udcgt65.free.fr/docs/propositionscgt.pdf