Source: http://iut.univ-lemans.fr/ydlogi/doc/exeoss.pdf