[Les Numeriques] Google aurait bien voulu racheter GitHub

.