Patches for grub do exist, but reiser4 is not officially supported - should GRUB be patched or not?
Il existe un patch pour grub, mais reiser4 n'est pas officiellement supporté. Grub doit-il être patché ou pas ?