Source: https://www.normalesup.org/~glafon/eiffel12/exos_suitescor.pdf