Two Equivalent Calculi of Explicit Substitution with Connuence on Meta-terms and Preservation of Strong Normalization (one with Names and One Rst Order) Extended Abstract