Den franska sjömil ( marine leaguej , inomhvil¬