Describir: Flatness, completion, regular sequences :