tirer les rois – French expression