Guerre en Ukraine : après le gaz coupé par la Russie, le GPS est-il menacé ?