Attestation numérique de déplacement : code source du générateur, raccourci iOS et nom de domaine dédié