La Epfl Instituto Federal Suizo De Tecnología De Lausana Software Informático Laboratorio La Fiabilidad Pipeta Simbólico De Ejecución La Investigación Github Pipeta Pasteur Intérprete Vela De George Naranja Línea Logotipo Circulo