library(ggplot2)

perf <- read.table("perf.dat", header = TRUE)

ggplot(perf, aes(x=taille, y=temps, group=tri, colour=as.character(tri))) + geom_point() + 
geom_smooth() + ggtitle("Notre super graphe")

ggsave("graphe.png")