Problem 2 : SPARK code + test (pas encore de preuve)