text_processed: il est clair que la pollution grave causée par les navires doit être classée et punie comme une infraction pénale et que la pollution mineure causée par les navires peut être considérée comme une infraction administrative de sorte qu'il y ait une distinction entre la gravité des deux types d'infractions