diff --git a/machines/compute01/ds-fr/package/dgnum.nix b/machines/compute01/ds-fr/package/dgnum.nix
index f64712c..1864d47 100644
--- a/machines/compute01/ds-fr/package/dgnum.nix
+++ b/machines/compute01/ds-fr/package/dgnum.nix
@@ -3,4 +3,4 @@ _:
 builtins.map (id:
   builtins.fetchurl
   "https://git.dgnum.eu/DGNum/demarches-normaliennes/commit/${id}.patch")
-[ "917669e4fd55d961793af7a44738e96d72b66507" ]
+[ "487eb8f8abfa5d8a6394c5886167343c7ee52be1" ]