petillemensurabilité