Hi Pilou,

please don't recommend github for uploading such files! It is intended for programmers uploading their open source code!

There are plenty of free file hosting services available, if storage is getting short here.

Regards
Stefan