Les modules projectifs de type fini sur un anneau de polynômes sur un corps sont libres [d’après Quillen [11] et Suslin [16]]