gratiner (V) — regratiner (V)
regratiner : Gratiner à nouveau.