/!\ Après avoir installer docker, ajouter le user dans le group docker :

sudo usermod -aG docker $(whoami)

``

PS: enfin c'est ce que je crois que la commande fait....

Little script for workaround from SO (copyright for user276521):
sudo apt-get remove mysql-workbench mysql-workbench-data
dpkg-deb -x mysql-workbench-community-6..deb tmp_mysql-workbench
dpkg-deb --control mysql-workbench-community-6..deb tmp_mysql-workbench/DEBIAN
sed -i -e 's/mysql-client, //' tmp_mysql-workbench/DEBIAN/control
dpkg -b tmp_mysql-workbench mysql-workbench-community_patched.deb
sudo dpkg -i mysql-workbench-community_patched.deb

xinput --set-prop insert_device_id_here "Device Accel Constant Deceleration" 3

Distribution Linux pour tester son infrastructures etc..