# Aucune dépendance Python externe : le solveur utilise la bibliothèque standard.
