3+1 Formalism and Bases of Numerical Relativity