Bayer et Stillman ont motré que si R est un anneau de polynômes sur un corps k et si I est un idéal de R, alors la régularité de I est égal au maximum des degrés des générateurs de son idéal initial générique pour l'ordre lexicographique inverse...