Note pour moi même:

Se compiler un python 3 pour soit:

$ wget https://www.python.org/ftp/python/3.7.4/Python-3.7.4.tar.xz

Ne pas oublier l'option --enable-shared

$ tar -Jxvf Python-3.7.4.tar.xz
$ cd Python-3.7.4
$ ./configure --enable-shared
$ make
$ sudo make install

Une fois qu'on a installé sa version de python officielle dans /usr/local/bin. Se mettre dans le répertoire ou l'on veut utiliser la version puis :
$ virtualenv --python=/usr/local/bin/python3.7 envp37
$ source envp37/bin/activate
$ python -m pip install cocotb