¹see http://www.trop.mips.uha.fr/pdf/ORASIS-2009.pdf