./55>Nan, en principe, le code source est toujours 2 à 5 fois plus gros que les binaires.
Mais par contre, c sûr 40 Go, ça fait un peu beaucoup (quoique quand on y pense, il doit y avoir tous les drivers de windows, ce qui fait une quantité de code source importante)