Google Big Maps v7 ne fonctionne plus. Merci Thomas pour l'info.
Une nouvelle version : google_big_maps_v8.user.js.
Pour l'installer, voir les instructions fournies lors de la toute première version.