\v=17
\v~=\w Il|strong="H3117"\w* \w les|strong="H3117"\w* \w mit|strong="H5414"\w* \w tous|strong="H3117"\w* \w ensemble|strong="H8147"\w* \w en|strong="H3117"\w* détention \w pendant|strong="H3117"\w* \w trois|strong="H7969"\w* \w jours|strong="H3117"\w*. 
\¬v
\¬p