Actualisation matérielle

Lorsque les outils pour les développeurs sont ouverts, cliquez de manière prolongée sur le bouton "Actualiser" pour afficher d'autres options.