edited_by_user_at_timestamp: Modifié par %{user} le %{timestamp}
hide_areas: Masquer les zones
history_for_feature: Historique pour %{feature}
edited_by_user_at_timestamp: Modifié par %{user} le %{timestamp}
hide_areas: Masquer les zones
history_for_feature: Historique pour %{feature}