A Gröbner basis criterion for birational equivalence of affine varieties Preuve des conjectures de Tate et de Shafarevitch [D'après G. Faltings]. (Proof of the conjecture of Tate and Shafarevich [After G. Faltings]) 