Comparer 9.11 et 9.9