Première version du solver (pas encore essayer de le compiler, mais normalement tout est la)