bof, toutes les intuitions ne sont pas formalisables mathématiquement de façon utile ^^