DeepSeek R1 vs ChatGPT o1 – Le battage médiatique en vaut-il la peine ?