SMS dit: Flatness, completion, regular sequences :