let label_intruder = Label.create ~text:"Intruder knowledge : "  ~borderwidth:1 ~relief:`Ridge intruderFrameForButton