Agrion paléotropical [2019] Il s’agit d’une espèce allochtone en France, issue d’importation avec des plantes aquatiques.