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