Web applications are nice. They’re useful, they’re cross-platform, users need no installation, no upgrades, no maintenance, not even the computing or storage power to which they are used. As weird as it may sound, I’ve even seen announcements for web applications supposed to run your games on distant high-end computers so that you can actually play on low-end computers. Go web application!

Of course, there are a few downsides to web applications. Firstly, they require a web connexion. Secondly, they are largely composed of plumbing. Finally, ensuring their security is a constant fight.

How many pipes do you need?

If you have ever developed a web application, you know what I mean by plumbing: just writing an online TODO list — the equivalent of maybe twenty minutes of work in Visual Basic, in Python, Java or Objective-C — requires mixing an insane amount of languages, to define your user interface (HTML, JavaScript, CSS), to define your storage (DDL, DML, DCL, plus possibly an ORM language), to get your server and your client to communicate (XML, more JavaScript, PHP or one of its competitors, as well as some HTTP and a little MIME configuration), to launch your application (whichever configuration languages are used by your server). Of course, if your application is a bit more complex and requires something like compatibility with smartphones, or like distant storage, or distributed computing, or backups, or modularity (in the world of the web, it’s called “web services”)… well, you will probably require a few additional languages.

All of this is just plumbing. Only once you have written it can you concentrate on the core of the application. And once the application is written, the pain is just starting, because chances are that your application can be attacked by hijacking the link between your user interface and the core (cross-site scripting) or between the core and the storage (SQL injection) or by keeping the user interface and replacing the application core (man-in-the-middle attacks) or by replacing the user interface by a malicious client or by taking the place of a currently connected user to steal some of its credentials (rebinding) or by taking advantage of low-level bugs (buffer over/underflows), etc.

None of this is a show-stopper, of course — just take a look at the web and you will see thousands of web applications. Just like the complexity of Software Development Kits in the early days of Windows, MacOS or X didn’t stop adventurous hackers from developing desktop applications. But of course, if twenty-five years of desktop application development have taught us one thing, it is that the life of developers can be made easier. Nowadays, a few generations of SDKs later, Windows developers have .Net, C# and Visual Studio, Macintosh developers have Cocoa, Objective-C and XCode, while X-based developers have the libraries of Gnome/KDE, Python and a variety of programming environments. The growing popularity (and libraries) of Haskell, F#, OCaml, Scala and other functional programming languages could mean that one of the next generations of SDKs will increase safety and security.

The web hasn’t quite reached that stage yet. Even the state-of-the-art in web frameworks only provides features slightly more advanced than early Windows/Mac/X SDKs: low-level bindings for low-level mechanisms, designed to ensure low-level properties. Or, rephrased differently, in the current state of web development, GMail, Google Maps or Facebook are still considered complicated applications, although they are conceptually quite simple and should therefore be equally simple to implement.

We can do better. How? By removing the need for plumbing. By providing automated mechanisms for ensuring high-level security properties. By providing language support for common patterns.

Enter OPA

Let me introduce OPA. OPA, or One Pot Application, is a complete development platform for web applications and web services. Development in OPA requires no plumbing. Applications developed with OPA are automatically checked for safety and security before they are executed. Applications developed with OPA are automatically (and provably) immune to cross-site scripting, to SQL injections and to most existing forms of attacks. And OPA provides language support for storage, communication between client and server (Ajax and Comet), concurrency, distribution, mobility, etc.

With OPA, we intend to skip several generations of SDKs and provide right now a high-level and modern programming platform. OPA has been 6 years in the making: 4 years of sketches, mockups and prototypes as part of academic research projects and 2 years of actual implementation at MLstate. A few days ago, OPA has officially entered demonstrable status. Not quite ready for prime time, but definitely usable for development. Do you want to write an online note-taking application? That’s about 20 lines of code, from scratch. A minimal chat? About 30 lines. A multi-channel, distributed chat? About 80 lines. A minesweeper? About 100. We’re using it to develop utilities, content management systems, tools for administrations and games.

Pre-alpha builds of OPA have been distributed to selected partners. A public version will be made available within a few weeks, as well as commercial applications developed with OPA. In the meantime, we are busy improving the syntax, completing the standard library, making error messages intelligible, fixing the bugs and extending the range of safety and security checks.

Interested? Well, few details are public at this time. However, you can take a look at a video recorded during ICFP presenting OPA and MLstate.

Stay tuned.

And it can change the face of the web. Honest.

Stay tuned…

Well, it’s that time of the year. Back from the holidays and into ICFP…

I’ll try and post my MLWorkshop and my DEFUN slides before the end of the week. I’m talking respectively about Batteries Included and about development with OCaml.

Oh, and starting from today, I’m working at MLState, on one possible future of web development: concurrent, functional, strongly typed, persistent programming. More information will follow, eventually.

Note : Ce billet est écrit au 83ème jour de la grève des universités. Le gouvernement refuse toujours de négocier et préfère faire passer les réformes en catimini, sous la forme de décrets d’application qui ne correspondent pas aux textes prépubliés, et en les accompagnant de mensonges, d’intimidations administratives et de coups bien réels de matraques. La privatisation à l’italienne du système éducatif est en cours. Pour tous ceux qui ne sont pas d’accord, rendez-vous à Louvain, du 26 au 29 avril et dans les rues de Paris, le 28 avril. De nouvelles pétitions viennent d’être mises en ligne pour dénoncer les réformes et les mensonges du gouvernement.

Il y a quelques jours, François Fillon s’est exprimé sur France Inter, l’évènement est suffisamment rare pour être noté. C’est que Monsieur le Premier Ministre avait bien des choses à dire, en particulier sur la réforme des universités, du primaire et du secondaire publics. Malheureusement, là où l’on aurait pu espérer un brin de sérieux de la part d’un homme politique qui a la réputation de ne jamais parler pour ne rien dire, nous n’avons eu droit qu’à une nouvelle répétition des platitudes de Valérie Pécresse. Mais il faut tout de même saluer le courage de François Fillon, qui n’a pas hésité un seul instant avant de décrire la “concertation” et les mesures qui viennent de passer en décret d’application, “parfaitement conforme[s] aux aspirations des universitaires”. En guise de concertation, rappelons que le gouvernement a de nombreuses fois refusé de rencontrer les représentants syndicaux, les représentants des associations de chercheurs, d’enseignants-chercheurs, de précaires de l’université, etc. Rappelons aussi que seuls deux des 35 représentants syndicaux — ceux de deux syndicats parmi les plus petits — se sont exprimées en faveur des propositions du gouvernement. Rappelons de même que 76 des 83 universités françaises bloquent la réforme du primaire et du secondaire à force de désobéissance civile. Rappelons toujours les 100.000 manifestants, il y a quelques semaines, et la grève des universités, qui entre dans sa 12ème semaine.

Le gouvernement a décidément une définition particulière de “concertation” et d’”aspirations”, et ce d’autant plus que les décrets qui viennent de passer ne sont pas les mêmes que ceux qui avaient été donnés à lire aux universitaires.  Rien de surprenant de la part d’un gouvernement qui appelle “autonomie” une bureaucratie aussi rigide que complexe et qui donne la part belle aux pleins pouvoirs, “faire confiance aux universités” le déluge impressionnant de directives ministérielles qui ne cesse de tomber depuis des mois, “organisme indépendant” une agence dont tous les membres sont nommés par le ministre, etc.

Pour ceux qui ne sont pas encore au courant, quatre décrets d’application et trois arrêtés ont été publiés cette semaine  sans affichage préalable des textes. Parmi les décrets, citons-en deux qui sont au cœur du mouvement de contestation universitaire :

• le nouveau statut des enseignants-chercheurs, dans un texte qui ne reprend aucune des trois versions préalables présentées par le gouvernement, et qui réintroduit notamment la possibilité d’infliger à tout enseignant-chercheur jusqu’à 1607 heures supplémentaires non-payées, que ce soit pour faire des économies ou pour lui faire payer un engagement politique ou des recherches qui fâchent ;
• la réforme du statut des doctorants, qui semble notamment supprimer le monitorat et les allocations couplées (il faut que je vérifie plus en détails) et permettre de confier absolument n’importe quelle tâche supplémentaire aux doctorants, en plus de la Recherche.

Au passage, l’État Français vient d’accorder aux établissements appartenant au Vatican la possibilité de délivrer des diplômes, y compris, semble-t-il, les futurs master enseignement qui remplaceront le CAPES, l’Agrégation et le concours de Professeur des Écoles, le tout financé par les deniers publics.

Voici des mois, voire des années, que la communauté universitaire s’élève contre ces réformes mais aussi contre la méthode du gouvernement, qui vote les lois pendant les vacances et sans les annoncer, prépare leur application à coups de statistiques fausses et de contre-vérités, et tente de faire taire la contestation à coups de propagande, d’intimidations administratives et d’interventions policières. À présent, le gouvernement prétend que les universitaires sont pour la plupart d’accord avec ces mesures, depuis la suppression de l’indépendance de la recherche jusqu’à la liquidation du primaire et du secondaire public. Si vous êtes un universitaire et si vous souhaitez prendre la parole pour contester cette soi-disant unanimité, un groupe de cinq pétitions a été ouvert, chacune sur un des points contestés — à toutes signer, donc. En moins de 24h, la première de ces pétitions a récolté près de 700 signatures, à comparer aux 327 signatures récoltées en plus d’un an par la pétition opposée.

Et qui que vous soyez, rendez-vous est pris le 28 avril, dans les rues de France, pour manifester le mécontentement de la société française face à la liquidation de l’enseignement public, de la recherche et de l’hôpital.

]]> http://dutherenverseauborddelatable.wordpress.com/2009/04/25/les-decrets-sont-parus/feed/ 0 yoric http://dutherenverseauborddelatable.wordpress.com/2009/04/23/fin-des-cours/ http://dutherenverseauborddelatable.wordpress.com/2009/04/23/fin-des-cours/#comments Thu, 23 Apr 2009 21:15:36 +0000 yoric http://dutherenverseauborddelatable.wordpress.com/?p=576 ]]>

Note : Ce billet est écrit au 80ème jour de grève des universités. Malgré l’opposition de la quasi-totalité de la communauté universitaire, le gouvernement vient de faire passer les décrets d’application qui permettent de transformer arbitrairement et sans justifications un enseignant-chercheur en enseignant pur. Manifestement, le gouvernement n’arrive pas à comprendre le danger pour le monde de la Recherche en France. Simultanément, le gouvernement vient d’annoncer que, puisqu’il était impossible de procéder à la réforme de l’enseignement primaire et secondaire sans violer ses propres décrets, il allait les ignorer totalement. Une fois que le choc sera passé, attendez-vous à des réactions. Attendez-vous à une grève de la Recherche, des publications, des brevets, des contrats, des évaluations. Attendez-vous à des difficultés lors des examens et du baccalauréat.

Là où les chasseurs de tête avaient échoué, le gouvernement vient de réussir : j’ai donné hier mon dernier cours.

Puisque le gouvernement préfère manifestement économiser sur le dos de la Recherche, j’ai fini par accepter un poste dans le secteur privé, poste dans lequel je devrais être en mesure de poursuivre mes travaux sur les liens entre sémantique informatique, sûreté, sécurité, langages fonctionnels et parallélisme.

Si ce nouveau poste devrait m’apporter plus de liberté, ainsi que des étudiants et des ingénieurs pour participer à mes recherches, j’ai le cœur lourd d’avoir été contraint à quitter le système universitaire, auquel je suis profondément attaché, pour pouvoir faire mon travail.

Sauf accident, à partir du premier septembre 2009, vous pourrez me trouver chez MLState.

Note: This post is written on the 79th day of strike of Universities. Despite the overwhelming consensus against these bills, the government has just passed the application decrees implementing the possibility of arbitrarily increasing the teaching charge of researchers, without need for any justification. The government obviously fails to see how much this will hurt Research. Simultaneously, the government has announced that, since the reform of primary and secondary schools cannot proceed in compliance with the government’s own decrees, it will simply proceed illegally. Once the shock is gone, expect increased strike actions. Expect Resarch strikes on publications, on patents, on contracts with the government or French companies. Expect difficulties with baccalauréat, exams and degrees.

Where headhunters had failed, the government has finally succeeded. Today was my last lecture.

As the government obviously doesn’t want Researchers to have the means and time to undertake Research, I have accepted a position in the private sector, where I should be able to pursue my work on semantics, security and functional concurrent/distributed programming languages.

While I’m glad to start in a position where I will have both more leeway and both students and engineers to work with me, I am saddened that the situation had to reach the point where I felt I had no choice.

Barring any accident, starting September 1st, you will be able to find me at MLState.

Note Ce billet est écrit au 67ème jour de grève des universités. Le gouvernement refuse toujours de négocier et s’avère de plus en plus violent : dernièrement, on a vu les forces de police charger violemment des étudiants et des enseignants-chercheurs parfaitement pacifiques pour les empêcher de sortir de leur campus et de rejoindre une manifestation. On a aussi vu le gouvernement proclamer le résultat d’un vote universitaire électronique près d’une semaine avant que le vote n’ait lieu. De nouvelles formes de contestation continuent à voir le jour. Attendez-vous à de la musique de rue, à du théâtre de rue, attendez-vous à des cours universitaires dans le métro, à des fausses contre-manifs et à des oraisons en grec. Attendez-vous aussi à des blocages de baccalauréat.

Il y a bientôt deux mois, l’université d’Orléans introduisait une collection peut-être un peu osée pour l’hiver, avec notamment des pancartes, des banderoles et quelques T-Shirts tels que :

Voici maintenant le grand début de la collection printemps :

La ligne est prévue pour être portée tous les jours, dans la rue, dans les transports, dans les gares et peut-être même en cours. Des défilés de mode seront aussi organisés, à raison de un par semaine jusqu’à ce que le gouvernement accepte de négocier.

Vous aussi, vous souhaitez porter ces T-Shirts ? Alors voici tous les fichiers nécessaires pour pouvoir les imprimer. Vous pouvez les considérer étant dans le domaine public.

Note Ce billet est écrit au 65ème jour de grève des universités. Le gouvernement refuse toujours toute négociation et préfère les calomnies et les menaces administratives et physiques. Ceci est un appel au gouvernement : pour le moment, le mouvement est tenu par les pacifistes. Plus vous ignorez leurs revendications, plus vous les insultez, plus vous les humiliez, plus ils vont se retirer et céder la place à ceux qui sont prêts à faire ressortir leur frustration d’une manière beaucoup moins contenue que la nôtre. Nous tiendrons jusqu’au bout de nos forces mais il faudrait que vous preniez conscience de ce qui attend les rues de France lorsque vous serez arrivés à tous nous arrêter, nous envoyer à l’hôpital ou tout simplement à l’étranger.

Dans le domaine de la contestation, il y a de nombreuses manières de jouer l’escalade. Il y a ceux qui envoient quelques compagnies de Gendarmes Mobiles, de CRS voire d’agents de la Brigade Anti-Criminalité pour ouvrir le feu sur quelques étudiants en train d’organiser un happening dans un supermarché toulousain avec l’accord du gérant. Et il y a ceux qui préfèrent jouer ça en musique.

LRU, Le Rap Universitaire

Au bout de 65 jours, vous avez fini par oublier pourquoi les universités étaient en grève ? Alors jetez un œil à cette video et vous vous en souviendrez. Vidéo due aux étudiants de Marne La Vallée.

Princess of Clèves — Fac off

Vous aussi, vous trouvez que la Princesse de Clèves n’a pas assez souffert et qu’il faut en plus que notre Bien-Aimé Président de La République la mette à la rue et à l’alcool ? Alors faites ça en musique. Vidéo due aux enseignants-chercheurs de la Sorbonne, si j’ai bien compris.

Princess of Clèves — Paroles, Paroles

Une fois à la rue, que faire de la Princesse de Clèves ? Il faut lui promettre des Rolex, bien entendu, et sur un air de Dalida.

La Sorbonne en musique

Juste un peu de musique ? D’accord, écoutez-ça ici. Profitez-en pour compter le nombre d’agents de police et de gendarmerie qui tournent.

Sans musique cette fois

Si vous avez l’âme d’un latiniste, j’espère que vous avez déjà écouté les Darcolinaires de la Sorbonne.

Note This post is written on the 64th day of University strikes in France. During these 64 days, the government has rejected any negociation on the core reasons for the strike, has attempted to discredit the contestation (if I understand correctly, I am both « improductive » and a « mask-wearing commando ») and has used police intimidation and repression. The strike continues. Quite possibly, there will be no university exams this year and no baccalauréat. If repression continues increasing, no one can tell for sure what will happen. Nothing good, for sure.

After days and nights of coding, debugging and fighting over naming conventions, the OCaml Batteries Included team is proud to announce OCaml Batteries Included Beta 1. You can find the binaries here,  read the API documentation, the platform documentation, the release notes and the ChangeLog or the list of individual commits. A GODI package and a Debian/testing package are also available.

So, what’s new in Beta 1?

API freeze

Firstly, from now on, barring trivial changes and bugfixes, the API should be stable. So it’s a good time to start testing it with your projects and submitting bug reports.

Command-line tools

OCaml Batteries Included already had a drop-in replacement for ocamlc and ocamlopt, to automatically open, load and link all the necessary libraries and/or syntax extensions. To invoke them, use

$ ocamlfind batteries/ocamlc foo.ml

or

$ ocamlfind batteries/ocamlopt foo.ml

They behave essentially as their counterparts in the INRIA distribution.

Ok, that’s not new. What’s new is that OCaml Batteries Included now also has a drop-in replacement for ocaml, ocamldep and ocamlbuild. To launch the toplevel, run

$ ocamlfind batteries/ocaml

or to use it as an interpreter

$ ocamlfind batteries/ocaml foo.ml

Similarly, you may now use the ocamlbuild replacement

$ ocamlfind batteries/ocamlbuild foo.byte

or

$ ocamlfind batteries/ocamlbuild foo.native

What does this mean? Well, essentially, it means that you don’t have to do any complex configuration to take advantage of OCaml Batteries Included. Just replace every use of ocaml/ocamlc/ocamlopt/ocamlbuild with the corresponding drop-in replacement.

Toplevel

Since Alpha 2, the OCaml Batteries Included toplevel gives access to the manual, using directive #man. With Beta 1, a new directive #browse appears. This directive lets you insepct the contents of a module, regardless of whether the documentation has been generated:

$ rlwrap ocamlfind batteries/ocaml
        Objective Caml version 3.11.0

      _________________________________
     |       | |                       |
    [| +     | | Batteries Included  - |
     |_______|_|_______________________|
      __________________________________
     |                       | |        |
     | -    Type '#help;;'   | |      + |]
     |_______________________|_|________|

# #browse "List";;
module List :
  sig
    type 'a t = 'a list
    type 'a enumerable = 'a t
    type 'a mappable = 'a t
    val length : 'a list -> int
    val hd : 'a list -> 'a
    val tl : 'a list -> 'a list
    val is_empty : 'a list -> bool
    (*...*)
end

This directive is provided as a quick way of understanding complex and undocumented modules — say, Camlp4.

Printf replacement

OCaml has long provided a useful but awkward Printf module. A few versions ago, OCaml Batteries Included introduced a partial replacement for Printf, more extensible and more compsable. With OCaml Batteries Included Beta 1, we now have a complete replacement, which is both safer, lightweight and more extensible. Let’s take a look :

# let format = p"Let's print a string: %s\n";;
val format : (string -> 'a, 'a) Batteries.Print.format =
  {Batteries.Print.pattern = "Let's print a string:%(0)\n";
   Batteries.Print.printer = <fun>}
# Print.printf format "some text";;
Let's print a string: some text
- : unit = ()

Up to this point, there’s not much difference with the usual Printf module. But the nice thing is that this is completely extensible. It can be used just as well to print, say, lists:

# Print.printf p"Here's a list of integers: %{int list}\n" [1;2;3;4;5];;
Here's a list of integers: [1; 2; 3; 4; 5]
- : unit = ()

Of course, this works just as well with arrays, ropes, and, well, just about every single data structure, including your own. You can add new printing functions, overload printing locally, etc.

And more

• The OCaml Batteries Included toplevel now supports a .ocamlinit file, which can take advantage of all the features of Batteries.
• Previous versions of OCaml Batteries Included introduced syntactic construction

  open List include Labels
  

  to create a new local module List containing the code of List and that of Labels. Due to ambiguities, the syntax was changed to

  open List with Labels
  

• UTF-8 literal strings are now validated at compile-time
• Conversion between Latin-1 literal strings and UTF-8 is now performed at compile-time
• Modules Digest, Scanf, Format, Lexing now compatible with Batteries I/O
• New out-of-the-box modules StringSet, IntSet, StringMap, IntMap, etc.
• New module Future.Logger
• The interpreter may now be called as a library
• Improvements to Random, Enum, Bigarray, String, String.Cap, Set, PSet, …
• Speed improvements in LazyList, Rope, String
• Test suite
• Build improvements, including parallel build, better detection of default directories
• Numerous bugfixes
• etc.

Note Ce billet est écrit au 63ème jour de grève des universités. Le gouvernement refuse toujours de négocier sur les questions de fond, préfère toujours recourir aux tours de passe-passe et aux insultes pour faire passer ses réformes, quand ce n’est pas directement aux coups de matraque.  D’après mes comptes, nous en sommes à 5 contestataires hospitalisés et une quarantaine arrêtés de manière semble-t-il arbitraire par les forces de l’ordre. À l’heure actuelle, le gouvernement joue le pourrissement et compte sur le sens de la responsabilité des enseignants-chercheurs pour arrêter la grève et permettre aux examens, au concours et au baccalauréat de se dérouler correctement. Ne soyez pas certains que cela arrivera.

Il y a pas loin de deux mois, j’écrivais un billet pour expliquer pourquoi les universités étaient en grève. Depuis, de l’eau a coulé sous les ponts. Le gouvernement a même, à un moment, fait semblant de négocier et de revenir en arrière sur certains des points parmi les plus choquants de ses réformes. Et nous sommes toujours en grève, même si ce n’est pas toujours pour les mêmes raisons qu’en février.

Pourquoi ?

Nous ne serons pas complices du démantèlement de l’école, du collège et du lycée publics et de la précarisation des étudiants du supérieur

La raison principale pour laquelle nous sommes en grève est la réforme dite de “mastérisation des concours d’enseignement”. Cette réforme aura pour conséquence directe d’augmenter les inégalités entre les écoles [pour] riches et les écoles [pour] pauvres, les collèges [pour] riches et les collèges [pour] pauvres et les lycées [pour] riches et les lycées [pour] pauvres. Le gouvernement tente de nous forcer à appliquer ce décret, auquel nous sommes violemment opposés, et qui nous semble contraire à tous les principes républicains.

Voyons ceci plus en détails. À l’heure actuelle, un futur enseignant du primaire ou du secondaire doit, avant d’enseigner, passer un concours de niveau théorique Bac + 3 (CAPES, CRPE ou Agrégation, selon le niveau), souvent en fait passé à Bac + 4 après une année consacrée à la préparation. Les admis au concours ont alors une année supplémentaire de formation en alternance. Durant cette année, ils suivent des stages pratiques en donnant des cours en collège/école/lycée et suivent eux-mêmes des cours sur l’enseignement, le tout dans une équipe pédagogique et avec un tuteur supposés les aider et leur montrer les ficelles du métier. De l’avis de tous les jeunes enseignants, cette formation en alternance n’est pas suffisante. Or, le premier aspect de la mastérisation des concours est de la supprimer totalement pour la remplacer par une formation purement théorique.

Le deuxième aspect de la mastérisation des concours est plus insidieux et beaucoup plus dangereux : à l’heure actuelle, pour devenir professeur, un futur enseignant doit être admis aux concours. Avec la réforme, un recalé peut très bien être pris pour enseigner, voire en fait n’importe qui, sans formation à l’enseignement — a priori, avec un salaire et un statut inférieur. Or, les réformes annoncées d’autonomie des lycées, des collèges, des écoles vont voir le gouvernement se désengager du financement des établissements, comme il commence déjà à le faire dans les universités. Le chef d’établissement sera donc invité à trouver l’argent où il le peut, que ce soit à l’aide du Conseil Général, du Conseil Régional, d’entreprises privées — ou en demandant aux parents d’élèves de payer de leur poche. De même, le chef d’établissement aura pour charge d’embaucher qui il peut en fonction de son budget, sans la moindre contrainte de diplôme ou de formation, uniquement selon le critère de qui est prêt à travailler pour le salaire proposé. D’ailleurs, il y a déjà des rectorats qui recrutent à l’année des étudiants sans aucun diplôme pour donner des cours en collège, à la place de professeurs, sur des postes précaires, tout simplement parce qu’il n’y a pas assez de professeurs.

Nous nous attendons donc à ce que, dans un avenir très proche, la réforme de mastérisation des concours, si elle devait passer, voie la naissance de deux types d’établissement. Les établissements dont le directeur arrivera à trouver de l’argent, et qui pourront se permettre d’embaucher de vrais professeurs avec une formation complète — et les établissements dont le budget ne permettra que d’embaucher des étudiants sans formation ni diplôme, sur des postes précaires.

En parallèle à ces réformes, la loi sur la Liberté et la Responsabilité des Universités invite les présidents d’université à chercher les financements partout où ils peuvent, y compris sous la forme d’augmentation des frais d’inscription. En plus de cela, le gouvernement laisse planer depuis septembre 2008 le spectre de la suppression du CROUS, de ses résidences étudiantes, de ses restaurants universitaires, de ses médecins et psychologues. Nous nous attendons à ce que ces mesures introduisent une sélection par l’argent à l’entrée des universités et augmentent la précarité dans laquelle vivent déjà de nombreux étudiants. Depuis, un projet de loi UMP propose d’introduire des prêts pour étudiants, remboursables tout au long de leur vie. Il nous semble clair que cette proposition ne pourra servir qu’aux étudiants dont les projets professionnels ou la famille pourront suffire à rembourser la dette, ce qui constitue une autre manière d’introduire une sélection par l’argent.

Nous avons donc entrepris de contester la mastérisation des concours au stade universitaire, avant qu’elle puisse faire de dégâts, pour protéger le primaire et le secondaire publics. Et puisqu’un an de contestation n’a pas suffi, la contestation s’est transformée en grève. Les annonces plus récentes de suppression du CROUS et d’endettement ne font qu’amplifier notre détermination.

La Recherche doit être indépendante et doit profiter à tous

La deuxième raison pour laquelle nous sommes en grève est la perte d’indépendance et de transparence de la Recherche et pour l’essentiel la suppression de la Recherche Fondamentale en faveur d’un système axé sur un pilotage opaque du savoir à tous les niveaux par l’administration et par des entreprises privées, sans prise en compte de l’intérêt public.

Voyons ceci plus en détail. À l’heure actuelle, un Laboratoire de Recherche est libre de choisir ses sujets, de changer d’orientation voire d’expérimenter de nouvelles branches du savoir — à charge pour lui de trouver les financements nécessaires pour acheter les équipements ou payer les transports dont il a besoin. Cette liberté de la Recherche en France est vue à l’étranger comme un atout unique. Malheureusement, les réformes commencées en 2004 limitent fortement cette liberté en subordonnant la recherche de financements à des sujets dits prioritaires, pilotés par l’Agence Nationale de la Recherche. Les réformes en cours achèvent cet aspect de l’indépendance, d’une part sous le couvert de certains aspects peu metionnés la loi dite de Liberté et Responsabilité des Universités (LRU) et d’autre part sous la forme de la disparition programmée de toute activité de recherche dans la quasi-totalité des instituts de recherche, y compris le CNRS et l’INSERM. Dans le nouveau monde, la loi interdit aux chercheurs de s’écarter des quelques sujets principaux du laboratoire, tandis que le mode de financement impose à chaque équipe de recherche de justifier très régulièrement (potentiellement plusieurs fois par an) que les recherches suivent bien les priorités fixées par l’administration. En d’autres termes, il n’est plus question d’explorer des sujets novateurs, uniquement d’améliorer des choses existantes.

Un autre aspect de cette perte d’indépendance intervient sous la forme du nouveau statut d’Enseignant-Chercheur, auquel seront désormais contraints aussi bien les titulaires enseignants-chercheurs que les chercheurs à temps plein du public, et du Contrat Doctoral auquel seront désormais soumis les jeunes (enseignants-)chercheurs en cours de doctorat. Ces statuts légalisent, de deux manières très différentes, la possibilité de prendre des mesures d’intimidation et de répression contre un (enseignant-)chercheur qui déplairait à son administration, par exemple parce qu’il déplairait au Ministère ou à une des entreprises qui financent l’université ou influencent les choix du Ministère. Un enseignant-chercheur titulaire pourra se voir transformé en enseignant à temps plein, voire à double temps plein et en bibliothécaire et technicien et agent de maintenance et voir sa charge de travail répartie entre plusieurs universités ou/et être détaché dans une entreprise privée ou à l’étranger — tout sur simple décision administrative, sans recours possible (malgré les affirmations du ministère). Un doctorant pourrait se voir tout simplement renvoyé.

Comment un chercheur peut-il fâcher ? C’est très simple. Il est très aisé de tomber sur des sujets qui fâchent. En informatique, il suffit de s’intéresser à la sécurité des machines à voter, à la sécurité de la carte bleue, aux techniques de contournement de la censure ou au partage de fichiers. En mathématiques, domaine avec lequel je suis moins familier, il peut suffire de s’intéresser à la théorie des nombres (sur laquelle est fondé une partie du système bancaire) ou à certains aspects de l’économie. En fait, il existe des sujets qui fâchent dans tous les domaines, de l’écologie à la philosophie, en passant par l’histoire, la littérature ou la psychologie. Et encore, si l’on en croit la liste des programmes de l’Agence Nationale de la Recherche, il peut suffire de faire de la Recherche Fondamentale, visiblement secondaire, ou de poursuivre des recherches sur des sujets qui ne sont pas à la mode ou n’entrent pas dans une case simple.

Voici deux ans que nous demandons des négociations sur tous ces sujets. Depuis deux ans, le gouvernement feint de croire que toute la communauté universitaire est derrière ces réformes. À force d’être ignorés, nous avons fini par changer de mode d’action et entreprendre une grève.

Des dizaines de milliers d’emplois supprimés ou précarisés

La politique du gouvernement en termes d’Enseignement et de Recherche passe par l’élimination de postes. Dans le primaire et le secondaire, il s’agit de plusieurs dizaines de milliers de postes en deux ans, à commencer par les RASED, les enseignants spécialisés pour élèves en grande difficulté — le tout sachant qu’il n’y a déjà pas assez de professeurs pour tous les élèves de France. Dans le supérieur, on ne compte “que” un millier de suppressions de postes permanents pour cette année et surtout la disparition annoncée des BIATOSS (Bibliothécaires, Ingénieurs, Administratifs, Techniciens, Ouvriers Spécialisés), qui font tourner toute la partie logistique des universités. Le gouvernement annonce que ces personnels seront remplacés par des étudiants boursiers qui financeront ainsi leurs études. Nous pouvons d’ores et déjà imaginer à quoi ressemblera le travail d’un BIATOSS remplacé par un étudiant précaire non-qualifié et supposé étudier en parallèle de son emploi. En parallèle, on supprime le CROUS et ses résidences et cantines pour étudiants, avec tous les postes que cela implique, dont je ne connais pas le nombre.

De nouveau, voici deux ans que nous protestons contre ces dizaines de milliers d’emplois supprimés, surtout en une telle période de crise et d’augmentation du chômage. De nouveau, cette contestation, faute d’être entendue, s’est transformée en grève.

Des réformes à coups de mensonges et de matraques

Le mouvement de contestation a commencé dès l’été 2007.

Nous avons demandé à nos présidents d’université de porter nos doléances. Le gouvernement a feint de ne pas entendre.

Nous avons fait circuler des pétitions, qui ont rassemblé des dizaines de milliers de signatures en quelques semaines. Le gouvernement a feint de ne pas entendre.

Nous avons demandé à nos élus de faire remonter nos doléances. Le gouvernement a feint de ne pas entendre.

Nous avons réussi à attirer l’attention des médias. Le gouvernement a entrepris de nous calomnier, pour tenter de  nous ôter notre crédibilité. Nous avons été traités successivement comme des improductifs, comme des paresseux, comme des êtres malhonnêtes, comme des idiots naïfs, comme des privilégiés comme des agitateurs gauchistes, des preneurs d’otages. Je ne perdrai pas de temps à répondre, une nouvelle fois, à ces accusations au demeurant mensongères.

La contestation a continué. Le gouvernement a fait semblant de négocier. Le gouvernement a prétendu avoir reculé, a prétendu que les syndicats d’enseignants-chercheurs avaient accepté de cesser la grève, a prétendu que la contestation était terminée. Au cours de toutes ces soi-disant négociations, le gouvernement a refusé de laisser entrer les associations Sauvons la Recherche ou Sauvons l’Université, n’a pas reçu les syndicats de BIATOSS ou de doctorants et a refusé d’aborder les points principaux des réformes.

La contestation a continué. Le gouvernement a envoyé la police. Jetez un œil au fond de cette video et comptez le nombre de cars de police et le nombre de CRS déjà en poste, juste pour garder un concert devant la Sorbonne. Au cours des dernières semaines, il y a aussi eu des dizaines de contestataires arrêtés sans motif valable et plusieurs blessés, y compris graves.

La contestation continue.

Et maintenant ?

La grève dure depuis 63 jours. Le gouvernement refuse toujours de négocier et joue le pourrissement. Bien entendu, les examens des étudiants sont en danger, ainsi que le baccalauréat, le CAPES, l’Agrégation. Que faut-il faire ? Comment agir ? Devons-nous abandonner la contestation pour permettre à tous ces étudiants de poursuivre normalement leur parcours ? C’est le dilemme auquel nous soumet le gouvernement en jouant le jusqu’au-boutisme.

Les avis sont partagés. Le président de la Sorbonne semble décidé à relever le défi et à ne pas tenir d’examens tant que le gouvernement refuse de négocier. D’autres sont prêts à donner « gratuitement » les examens à tous les étudiants. D’autres enfin, préféreront assurer les examens, peut-être sous une forme originale et peut-être quitte à les repousser le temps de quelques cours de rattrapage, puis à retenir les notes et les diplômes autant que nécessaire. Qui veut abandonner ? Certainement quelques-uns mais je ne les ai pas entendus s’exprimer.

La contestation continue.