$ETH Comment puis-je sortir de ce problème