Communication Rx / Tx

La bibliothèque est elle intégrée ou doit-elle être téléchargée ?

Ouvre un exploreur de fichier et regarde le contenu de ce que l'on appelle "l'IDE" arduino :

arduino-1.8.4/hardware/arduino/avr/libraries/SoftwareSerial/src

Et regarde le contenu du sous répertoire src dès fois qu'il n'y aurait pas la réponse à ta question.