Étant donné la réponse "l3enc" à la question "Quel était le nom du premier encodeur MP3 logiciel ?", générer un texte explicatif.
Texte : 
Le 7 juillet 1994, la Fraunhofer Society a sorti le premier encodeur MP3 logiciel appelé l3enc. L'extension de nom de fichier .mp3 a été choisie par l'équipe Fraunhofer le 14 juillet 1995 (auparavant, les fichiers avaient été nommés .bit). Avec le premier logiciel MP3 Time Player WinPlay3 (sorti le 9 septembre 1995), de nombreuses personnes ont pu encoder et lire des fichiers MP3 sur leur PC. En raison des disques durs relativement petits à l'époque (~ 500–1 000 Mo), la compression avec perte était essentielle pour stocker musique non instrumentale (voir tracker et MIDI) pour lecture sur ordinateur.