Eucamptodon est le nom d'un genre. Celui-ci relève du code de nomenclature pour les algues, plantes et champignons (ICN / communément désigné comme code de botanique).
L'autorité de ce nom générique est issue de l'Inventaire national du Patrimoine naturel (INPN).
