[Aarch64-laptops] Commander du Ritalin en France