function efface() {
}