Stav dette: Flatness, completion, regular sequences :