\v=17
\v~=\w Ils|strong="G2532"\w* \w mangèrent|strong="G5315"\w* \w et|strong="G2532"\w* \w furent|strong="G2532"\w* \w tous|strong="G3956"\w* \w rassasiés|strong="G5526"\w*. \w Ils|strong="G2532"\w* \w ramassèrent|strong="G2983"\w* \w les|strong="G2532"\w* \w douze|strong="G1427"\w* \w paniers|strong="G2894"\w* \w de|strong="G2532"\w* \w morceaux|strong="G2801"\w* \w qui|strong="G3588"\w* \w restaient|strong="G4052"\w*. 
\¬v
\¬p