Source: http://www.info.univ-angers.fr/~gh/Pluripass/Db/coursBD_Rigaux.pdf