Combien faut-il de nains pour creuser en deux jours un tunnel de 28m dans du granit ?