Dictionnaire portatif de cuisine, d’office, et de distillation/MARINER
Lottin le Jeune, (p. 381-382).
MARINER : se dit des viandes, ou poissons auxquels on donne un goût de marine ; par cette préparation, en les mettant dans l’huile ou le vinaigre, avec des herbes fortes, on les conserve quelque tems. On marine des huitres & des champignons, &c. (Voyez Huitres & Champignons.)