moving IRC to libera.chat

doc/the_floatimg_hack.tex

@@ -74,7 +74,7 @@ et sa fiablité (surtout sur certains aspects mathématiques)
 reste à démontrer\index{valgrind}.
 Mais le service après-vente est assez réactif. Du moins
 pour ceux qui suivent le canal \texttt{\#tetalab} sur le réseau
-IRC de Freenode.
+IRC de \textsl{libera.chat}.
 
 \textbf{Attention !} ce document commence par une bonne rafale
 de technique parfois \textsl{hardue}, avec des pointeurs dedans.