Thanks. I have no idea what the problem was. Just that Ubuntu said something serious went wrong in the kernel and wanted to report a bug so I followed the steps. There were no symptoms so I can't help to know if it was fixed. 2009/11/13 Pierre Faivre