Reprogrammer Fn-F12

Je découvre cette possibilité de «sudo tee», très utile.