_:

builtins.map (id:
  builtins.fetchurl
  "https://git.dgnum.eu/DGNum/demarches-normaliennes/commit/${id}.patch") [
    # remplacement l'arrache de quelques logos vers versions DGNum
    "05d34a880ebb34265ebbcac0a83625b3a976c348"
    # ajout des NDD usuels ENS et DGNum pour autoriser les changements d'adresse mail
    "bc4742aaacb174a55a08baae5f354ada3fba4577"
    # correction des svg des logos DGNum et DN
    "ee474712a3e50d186acd8bbb52f60c1e4fee2f81"
    # remplacement Marianne - pour l'instant à l'arrache uniquement, logo sera repris et affiné plus tard
    "1965a47fda2bc50fe4ddb2fbac63deb36b933c6f"
    # modifs Mariannes
    "222ae5abee8a255cb1fe4e19f6a7769b2df1cafb"
    # commenter quelques bouts de code inutiles dans l'usage DGNum de DS
    "ab8b515e3dbd340741a4562ab4f87c520ac99434"
    # Update logo-ds.svg and delete commented lines
    "ff36c4ad62f87086781743e843ec2ccde5eab8b6"
    # correction logo DN pour pages d'erreur
    "bbe8e7d421466eea2b2ea56abf004bf91e29224c"
    # normalianisation de DN, texte
    "0a630f87e214027e6b49073840fd4e1c1074ed2a"
    # modifs sur le fichier en anglais
    "e9e644a4d86b44cfad339d9e6af4ae4938e13f75"
    # Use our logo in the header
    "e755b13183da2ea94d8d91de45eae71a1a9fb5b9"
    # Add the logo-wide under a new name
    "0a5a24fdf887b2117217ca04eb6c8484f53a459b"
    # modifs diverses vers version DN
    "4eb57682c0dd8468a439bd88302222fc24f38044"
    # Merge branch 'main' of git.dgnum.eu:DGNum/demarches-normaliennes
    "1c527f28df1beadfb116eedec572555c0fb3b950"
  ]