Merge pull request #6186 from fchapoton/varia_and_typo #3303

Job	Run time
Initial setup	4s
proddb lint	2m 8s
devmirror lint	1m 51s
proddb abvar/fq bianchi_modular_forms number_fields	3m 59s
devmirror abvar/fq bianchi_modular_forms number_fields	7m 24s
proddb galois_groups siegel_modular_forms	9m 35s
devmirror galois_groups siegel_modular_forms	5m 24s
proddb elliptic_curves hecke_algebras tests	2m 4s
devmirror elliptic_curves hecke_algebras tests	4m 12s
proddb hilbert_modular_forms sato_tate_groups tests	4m 19s
devmirror hilbert_modular_forms sato_tate_groups tests	2m 48s
proddb api characters cluster_pictures ecnf local_fields	11m 21s
devmirror api characters cluster_pictures ecnf local_fields	8m 2s
proddb belyi higher_genus_w_automorphisms hypergm lattice maass_forms tests users	17m 25s
devmirror belyi higher_genus_w_automorphisms hypergm lattice maass_forms tests users	1m 53s
proddb artin_representations genus2_curves	4m 4s
devmirror artin_representations genus2_curves	3m 56s
proddb classical_modular_forms	3m 49s
devmirror classical_modular_forms	8m 12s
proddb lfunctions	6m 33s
devmirror lfunctions	3m 26s
devmirror groups/abstract	3m 22s
devmirror modular_curves	5m 59s
	2h 1m 50s

Provide feedback