Formal derivation of a bilayer model coupling shallow water and Reynolds lubrication equations: evolution of a thin pollutant layer over water | Publicación