Source: http://dept-info.labri.fr/~carrere/INTERNATIONAL/Mineures/PresentationEHCS.pdf