Problèmes et démonstration de la correction d'algorithmes en Chine ancienne