In the bug report YAFU linked, the reporter has 48Go of RAM, so his problem must be something else. And the “out of memory” error message occurs most of the time around 11’000M for me, so thinking about it, I’m not sure it’s the problem, but it’s an interesting lead, and it made me realize I really need to upgrade my RAM anyway.