Mathematical analysis of a spectral hyperviscosity LES model for the simulation of turbulent flowsJean-Luc Guermond and Serge PrudhommeESAIM: M2AN, 37 6 (2003) 893-908DOI: https://doi.org/10.1051/m2an:2003060