Antiferromagnetic ordering in superconducting ${\bf YBa_2Cu_3O_{6.5}}$