file URI scheme
L’extension file est un schéma d'URI (Uniform Resource Identifier) spécifié par les normes RFC 1630[1] et RFC 1738[2], typiquement utilisé pour retrouver des fichiers sur son propre ordinateur. Ces spécifications ont été mises à jour en 2017 dans la RFC 8089.