Thank you for your advices about the "reboot or not" :) As I am a new user of linux-based systems, I don't know all of the commands, so I use the easiest way for me :) -- tukuyomi