Pair programming 2024 04 12

sources/oracles.ml

@@ -88,12 +88,13 @@ let pro_rata_arrondi_euro (pro_rata_arrondi_euro_in : ProRataArrondiEuro_in.t) :
   in
   (* Attention, on ne peut pro-ratiser en arrondissant à l'euro près que des
      montants qui sont déjà arrondis à l'euro près. De même, on ne peut pas
-     pro-ratiser avec des bases toutes nulles. *)
+     pro-ratiser un montant non-null avec des bases toutes nulles. *)
   if
     money_round montant_a_distribuer_ <> montant_a_distribuer_
-    || Array.for_all
-         (fun base -> o_lte_mon_mon base (money_of_units_int 0))
-         pro_rata_arrondi_euro_in.ProRataArrondiEuro_in.bases_prorata_in
+    || (not (o_eq_mon_mon montant_a_distribuer_ (money_of_units_int 0)))
+       && Array.for_all
+            (fun base -> o_lte_mon_mon base (money_of_units_int 0))
+            pro_rata_arrondi_euro_in.ProRataArrondiEuro_in.bases_prorata_in
   then
     raise
       (AssertionFailed