I can answer to myself now :
No, they are not installed by default 
To install them :
sudo apt install gnome-tweaks
sudo apt install gnome-shell-extension-manager
I can answer to myself now :
No, they are not installed by default
To install them :
sudo apt install gnome-tweaks
sudo apt install gnome-shell-extension-manager